
#include <kern/unistd.h>

int sys_printchar(char c)
{
    putch(c);
    return 0;
}

